match [] with
| {caret}_ :: [] -> ()
